package at.tasat.solver.queue;

import at.tasat.solver.Queue;

public class DefaultQueue extends Queue {

	public DefaultQueue(int numVariables) {
		super(numVariables);
	}

	@Override
	protected int getIndexForEnqueue(int variableId) {
		return size();
	}
	
	@Override
	protected int getIndexForReenqueue(int variableId) {
		return 0;
	}
}
